import python
import semmle.python.Comparisons

from Comparison c, NameNode l, CompareOp op, NameNode r, float k, string add
where
    c.tests(l, op, r, k) and
    (
        k < 0 and add = ""
        or
        k >= 0 and add = "+"
    )
select c.getLocation().getStartLine(), l.getId() + " " + op.repr() + " " + r.getId() + add + k
